Vcr: a Vdm-based Software Component Retrieval Tool Vcr: a Vdm-based Software Component Retrieval Tool
نویسندگان
چکیده
We present a tool which allows implicit VDM speciications to be used as search keys for the retrieval of software components. A preprocessing phase utilizes signature matching to lter promising candidates out of a component library. The actual speciication matching phase builds proof obligations from the speciications of key and candidates and feeds them into a theorem prover. Validated obligations denote matching components. First experiments clearly demonstrate the feasibility of this approach. We thus get a high-precision retrieval tool which helps programmers in locating components which exactly match their needs.
منابع مشابه
Vcr: a Vdm-based Software Component Retrieval Tool
We present a tool which allows implicit VDM speciications to be used as search keys for the retrieval of software components. A preprocessing phase utilizes signature matching to lter promising candidates out of a component library. The actual speciication matching phase builds proof obligations from the speciications of key and candidates and feeds them into a theorem prover. Validated obligat...
متن کاملAssessing the Internal Structure of the Ellis Information Retrieval Model in Order to Present the Persian Norm of Web Retrieval Tools
Introduction: Study evaluated the internal structure of Ellis information seeking model in the student community with the aim of presenting the Persian norm. Methods: This is a descriptive-analytical study conducted by cross-sectional survey method in the second semester of the academic year 1399-1400. Population comprise of 280 graduate students at Ahvaz Jundishapur University of Medical Scien...
متن کاملSETHEO Goes Software Engineering: Application of ATP to Software Reuse
Reuse of approved software components has been identified as one of the key factors for successful software engineering projects. Although the reuse process also covers many non-technical aspects [9] we will restrict ourselves to the retrieval of software components (SCR) based on their formal specifications. Our system NORA/HAMMR 3 is based on a library of software components with associated s...
متن کاملAn Isabelle-Based Theorem Prover for VDM-SL
This paper describes the theorem proving component of a larger software development environment for the ISO standardized spec-iication language VDM-SL. This component is constructed as an instan-tiation of the generic theorem prover Isabelle with a VDM-SL variant of the Logic of Partial Functions (LPF). We describe the development of this instantiation, focusing on both the embedding of syntax ...
متن کاملAutomatic Generation of GUI from VDM++ Specifications VDM++ GUI Builder
The Vienna Development Method is supported by several tools. These tools allow generating Java code from a VDM++ specification but do not generate a graphical user interface (GUI). This paper describes a generic approach and tool to automatically generate a GUI in Java from a VDM++ specification. The generated GUI calls methods of the VDM++ specification, which allows testing the specification ...
متن کامل